2 Getting Started

This chapter will explain you how to install and configure PAT, as well as how the friendly user interface helps you to start using PAT. Also a few advanced topics like using C# code as library will also be discussed here. See the corresponding section for detailed information.

Topics covered in this chapter are as follows:

• System installation and configuration
• Graphic User Interface including Editor, Simulator, Graph Difference Analysis, Verifier and New Model Wizard
• LTL to Automata Converter
• Using C# (C/C++/Java) code as library
• Keyboard Shortcuts
• Using Command Line

When the first time you launch PAT, you will see this picture straightforward guiding you to start with PAT!

 

---

Copyright © 2007-2012 Semantic Engineering Pte. Ltd.